(** Type checking and tagging of APython ASTs *)

val type_check : Symbols.stmt list -> unit;;
